翻訳と辞書 Words near each other ・ Dual mandate ・ Dual mass flywheel ・ Dual matroid ・ Dual messiahs ・ Dual mode mobile ・ Dual mode propulsion rocket ・ Dual modular redundancy ・ Dual module ・ Dual monarchy ・ Dual monarchy of England and France ・ Dual Mono ・ Dual naming ・ Dual narrative ・ Dual norm ・ Dual number ・ Dual object ・ Dual of BCH is an independent source ・ Dual Orb ・ Dual Orb II ・ Dual overhead rate ・ Dual oxidase 1 ・ Dual oxidase 2 ・ Dual pair ・ Dual Peppy ・ Dual Phase Steels Magnetism Modeling ・ Dual photography ・ Dual piping ・ Dual pivot steering geometry ・ Dual player ・ Dual Plover Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dual object ： ウィキペディア英語版 Dual object In category theory, a branch of mathematics, it is possible to define a concept of dual object generalizing the concept of dual space in linear algebra. A category in which each object has a dual is called autonomous or rigid. ==Definition== Consider an object $X$ in a monoidal category $(\backslash mathbf,\backslash otimes,\; I,\; \backslash alpha,\; \backslash lambda,\; \backslash rho)$. The object $X^$ * is called a left dual of $X$ if there exist two morphsims :$\backslash eta:I\backslash to\; X\backslash otimes\; X^$ *, called the coevaluation, and $\backslash varepsilon:X^$ *\otimes X\to I, called the evaluation, such that the following two diagrams commute The object $X$ is called the right dual of $X^$ *. Left duals are canonically isomorphic when they exist, as are right duals. When ''C'' is braided (or symmetric), every left dual is also a right dual, and vice versa. If we consider a monoidal category as a bicategory with one object, a dual pair is exactly an adjoint pair. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dual object」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.